be795271ef14ad067f2d846a8720b5d956dcf898,plugins/it.xsemantics.dsl.tests/expectations/ecore_errspecification_test/it/xsemantics/test/errspecification/ecore/TypeSystem.java,TypeSystem,applyRuleEClassSubtyping,#RuleEnvironment#RuleApplicationTrace#EClass#EClass#,193

Before Change


  }
  
  protected Result<Boolean> applyRuleEClassSubtyping(final RuleEnvironment G, final RuleApplicationTrace _trace_, final EClass candidate, final EClass superClass) throws RuleFailedException {
    boolean _isSuperTypeOf = superClass.isSuperTypeOf(candidate);
    /* superClass.isSuperTypeOf(candidate) */
    if (!_isSuperTypeOf) {
      sneakyThrowRuleFailedException("superClass.isSuperTypeOf(candidate)");
    }
    return new Result<Boolean>(true);

After Change


  
  protected Result<Boolean> applyRuleEClassSubtyping(final RuleEnvironment G, final RuleApplicationTrace _trace_, final EClass candidate, final EClass superClass) throws RuleFailedException {
    /* superClass.isSuperTypeOf(candidate) */
    if (!superClass.isSuperTypeOf(candidate)) {
      sneakyThrowRuleFailedException("superClass.isSuperTypeOf(candidate)");
    }
    return new Result<Boolean>(true);